翻訳と辞書
Words near each other
・ Calculus
・ Calculus (dental)
・ Calculus (disambiguation)
・ Calculus (medicine)
・ Calculus bicolor
・ Calculus bovis
・ Calculus Made Easy
・ Calculus of Broadcasting Systems
・ Calculus of communicating systems
・ Calculus of Concepts
・ Calculus of constructions
・ Calculus of functors
・ Calculus of moving surfaces
・ Calculus of negligence
・ Calculus of predispositions
Calculus of structures
・ Calculus of variations
・ Calculus of voting
・ Calculus on manifolds
・ Calculus on Manifolds (book)
・ Calculus One
・ Calculus ratiocinator
・ Calculus the Musical
・ Calcurrupe River
・ Calcutt
・ Calcutt, North Yorkshire
・ Calcutt, Wiltshire
・ Calcutta (1947 film)
・ Calcutta (1969 film)
・ Calcutta (band)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Calculus of structures : ウィキペディア英語版
Calculus of structures
The calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus has since been applied to study linear logic, classical logic, modal logic, and process calculi, and many benefits are claimed to follow in these investigations from the way in which deep inference is made available in the calculus.
==References==

* Alessio Guglielmi (2004)., 'A System of Interaction and Structure'. ACM Transactions on Computational Logic.
* Kai Brünnler (2004). ''Deep Inference and Symmetry in Classical Proofs''. Logos Verlag.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Calculus of structures」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.